“What if?” in Probabilistic Logic Programming

Abstract A ProbLog program is a logic with facts that only hold specified probability. In this contribution, we extend language by the ability to answer “What if” queries. Intuitively, defines distribution solving system of equations in terms mutually independent predefined Boolean random variables. theory causality, Judea Pearl proposes counterfactual reasoning for such systems equations. Based on Pearl’s calculus, provide procedure processing these queries programs, together proof correctness and full implementation. Using latter, insights into influence different parameters scalability inference. Finally, also show our approach consistent CP-logic, causal semantics programs annotated disjunctions.